# -*- mode: snippet -*-
# name: Set Standard Proposition Elimination Names
# --
Set Standard Proposition Elimination Names
